由连续形式的排序不等式得

证毕.